Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired p...(展开全部)

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired p...(展开全部)

Model checking领域的权威书籍

Model checking领域的权威书籍

在线阅读本书 Reissue of this classic work in the development of modern criticism which argues that literary criticism is essentially a branch of psychology, dealing with the states of mind induced by the experiences communicated by art.

在线阅读本书 Reissue of this classic work in the development of modern criticism which argues that literary criticism is essentially a branch of psychology, dealing with the states of mind induced by the experiences communicated by art.

Underlying the apparent diversity shown by thousands of mutually incomprehensible languages of the world, there is a remarkable, elegant and principled unity in the way that these languages exploit the phonetic resources of speech. It is these principles that Professor Laver sets out to describe in this major new textbook. Assuming no previous knowledge of the subject, it is de...(展开全部)

When published in 1971, Principles of Paleontology (POP) by David Raup and Steven Stanley revolutionized both textbooks and teaching in paleontology by adopting an approach that focused on the process of studying biologic groups, rather than a systematic approach (the study of individual groups of organisms), or an historical approach (narrating events to date). For this highl...(展开全部)